package framework.automaton.plugin;

import framework.automaton.Mapping;

/**
 * This interface clearly defines the methods that must be implemented by the
 * plugin in order to define the GUI visualizations to be used.
 * 
 * @author Bill Ge, May Zhai, Alex Yoo
 */
public interface VisualizationPlugin{
	/**
	 * Defines all the visualizations to be used in the plugin.
	 */
	public void createVisualizations();
	
	/**
	 * Associates a mapping from each state to each visualization to be used
	 * in the program.
	 * 
	 * @return a Mapping object
	 */
	public Mapping getMappings();
}